Дизъюнктивная нормальная форма (ДНФ) Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций. Конъюнктивная нормальная форма (КНФ) Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.
1) var a,b,c,d,e,f,r,x,y,z:real; begin writeln('d, e, f:'); readln(d,e,f); write('r = '); readln(r); x:=d*pi/180; y:=e*pi/180; z:=f*pi/180; a:=2*r*sin(x); b:=2*r*sin(y); c:=2*r*sin(z); writeln('a = ',a:5:2,' b = ',b:5:2,' c = ',c:5:2); end.
Пример: d, e, f: 90 60 30 r = 2.5 a = 5.00 b = 4.33 c = 2.50
2) var a,b,c,d:integer; begin writeln('a, b, c, d:'); readln(a,b,c,d); if a+c>150 then writeln('a+c = ',a+c,' a = ',a,' b = ',b,' c = ',c,' d = ',d); end.
Пример: a, b, c, d: 72 18 94 25 a+c = 166 a = 72 b = 18 c = 94 d = 25
Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций.
Конъюнктивная нормальная форма (КНФ)
Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.
var a,b,c,d,e,f,r,x,y,z:real;
begin
writeln('d, e, f:');
readln(d,e,f);
write('r = ');
readln(r);
x:=d*pi/180;
y:=e*pi/180;
z:=f*pi/180;
a:=2*r*sin(x);
b:=2*r*sin(y);
c:=2*r*sin(z);
writeln('a = ',a:5:2,' b = ',b:5:2,' c = ',c:5:2);
end.
Пример:
d, e, f:
90 60 30
r = 2.5
a = 5.00 b = 4.33 c = 2.50
2)
var a,b,c,d:integer;
begin
writeln('a, b, c, d:');
readln(a,b,c,d);
if a+c>150
then writeln('a+c = ',a+c,' a = ',a,' b = ',b,' c = ',c,' d = ',d);
end.
Пример:
a, b, c, d:
72 18 94 25
a+c = 166 a = 72 b = 18 c = 94 d = 25