" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
((b v ~ c) ^ ((~a ^ b) v a v (~ b ^ c))) v ~ a v (a ^ c)
↔ ((b v ~ c) ^ ((a v b) v (~ b ^ c))) v ~ a v (a ^ c)
↔ ((b v ~ c) ^ (a v b v c)) v ~ a v (a ^ c)
↔ (b v ~ c) v ~ a v ( a ^ b)
↔ (a v b v c) v (a ^ b)
↔ (a v b v c)