it is closed!

hello!
~( (a & b > c) | d > a > b > c | d )
((((a & b) > c) | d) & (a & (b & ~(c | d))))
try to close corresponding tableau...
it is closed!
((((a & b) > c) | d) & (a & (b & ~(c | d))))		[1]
(((a & b) > c) | d)		[2, from 1]
(a & (b & ~(c | d)))		[3, from 1]
1. ((a & b) > c)		[1, from 2′]
1. a		[2, from 3′]
1. (b & ~(c | d))		[3, from 3′]
1. 1. ~(a & b)		[1, from 1′]
1. 1. b		[2, from 3′]
1. 1. ~(c | d)		[3, from 3′]
1. 1. 1. ~a		[1, from 1′]
1. 1. 1. [x]
1. 1. 2. ~b		[1, from 1′]
1. 1. 2. [x]
1. 2. c		[1, from 1′]
1. 2. b		[2, from 3′]
1. 2. ~(c | d)		[3, from 3′]
1. 2. ~c		[4, from 3]
1. 2. [x]
2. d		[1, from 2′]
2. a		[2, from 3′]
2. (b & ~(c | d))		[3, from 3′]
2. b		[4, from 3]
2. ~(c | d)		[5, from 3]
2. ~c		[6, from 5]
2. ~d		[7, from 5]
2. [x]

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

:) :D :( :E: ;) :yes: :no: :donno: more »