//Chapter 01: The Foundations: Logic and Proofs

clc;
clear;

mprintf( "Let p=Vandana s smartphone has at least 32GB of memory.")
mprintf( "\nThe negation of p is ( ~p ) :It is not the case that Vandana s smartphone has at least 32GB of memory.")
mprintf( "\nOr in simple English ( ~p ): Vandana s smartphone does not have at least 32GB of memory.")
mprintf( "\nOr even more simple as ( ~p ): Vandana s smartphone has less than 32GB of memory.")